81. Practical TLA+ :
پدیدآورنده : Hillel Wayne.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
رده :
QA76
.
7
82. Pro machine learning algorithms :
پدیدآورنده : V. Kishore Ayyadevara.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine learning.,Python (Computer program language),R (Computer program language),Artificial intelligence.,Computer programming-- software development.,COMPUTERS-- Programming Languages-- Python.,Databases.,Machine learning.,Programming & scripting languages: general.,Python (Computer program language),R (Computer program language)
رده :
Q325
.
5
83. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده : ICANN '93. Ed. by Stan Gielen ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
84. Pyramidal Systems for Computer Vision
پدیدآورنده : edited by Virginio Cantoni, Stefano Levialdi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware.,Computer science.,Computer vision.
رده :
TA1632
.
E358
1986
85. Python essential reference /
پدیدآورنده : David M. Beazley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Python (Computer program language),Befehlsvorrat,Befehlsvorrat.,Python,Python (Computer program language),Python 2.4,Python 2.4.
رده :
QA76
.
73
.
P98
B43
2009
86. Reading and writing the Lakota language
پدیدآورنده : Albert White Hat Sr. ; edited by Jael Kampfe ; [foreword by Vine Deloria Jr.]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Lakota dialect, Textbooks for foreign speakers-- English
رده :
PM1024
.
Z9
L338
1999eb
87. Real Time Microcomputer Control of Industrial Processes
پدیدآورنده : edited by Spyros G. Tzafestas, J.K. Pal.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Microprogramming.,Software engineering.
88. STACS 92 :
پدیدآورنده : A[lain] Finkel, M[atthias] Jantzen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
89. STACS 87 :
پدیدآورنده : edited by Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computer science.,Computers.
90. Software Design for Resilient Computer Systems /
پدیدآورنده : by Igor Schagaev, Eugene Zouev, Kaegi Thomas.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reliability.,Fault-tolerant computing.,Self-adaptive software.,Computer software-- Reliability.,Fault-tolerant computing.,Self-adaptive software.
رده :
QA76
.
9
.
F38
91. Static Analysis :
پدیدآورنده : by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
92. Supercomputing.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
93. Swift 4 recipes :
پدیدآورنده : c Yanis Zafirópulos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Swift (Computer program language),Swift (Computer program language)
رده :
QA76
.
73
.
S95
Z34
2019
94. Synchronization algorithms and concurrent programming
پدیدآورنده : Taubenfeld, Gadi
کتابخانه: (Semnan)
موضوع : ، Algorithms,، Computer system programming language
رده :
QA
76
.
9
.
T3S9
95. Testing and tuning market trading systems :
پدیدآورنده : Timothy Masters.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
73
.
C153
96. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
97. The New S Language :
پدیدآورنده : Richard A. Becker, John M. Chambers, Allan R. Wilks.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : S (Computer program language),MATHEMATICS / Applied.,MATHEMATICS / Probability & Statistics / General.,S (Computer program language)
رده :
QA76
.
73
.
S15
98. The programming and proof system ATES advanced techniques integration into efficient scientific software
پدیدآورنده : Armand Puccetti (ed.). With contrib. by D. Brocard ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving.,Computer programming.,Computer software -- Development.
99. The ultimate algorithmic trading system toolbox + website :
پدیدآورنده : George Pruitt
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic trading of securities.,Futures.,Investment analysis.
رده :
HG4515
.
95
